pe{-}loc($p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$loc(pe{-}e($p$))